Lists2, Video 7 Invariants